ILP problem